Skip to content

[CHORE] Configure health port and add jenkinsfile#1

Merged
JamesPeck merged 1 commit intomainfrom
health-n-jenkins
Feb 19, 2026
Merged

[CHORE] Configure health port and add jenkinsfile#1
JamesPeck merged 1 commit intomainfrom
health-n-jenkins

Conversation

@JamesPeck
Copy link
Copy Markdown
Collaborator

No description provided.

@JamesPeck JamesPeck merged commit 3c24505 into main Feb 19, 2026
2 of 3 checks passed
@JamesPeck JamesPeck deleted the health-n-jenkins branch February 19, 2026 16:42
@dbmi-svc-checkmarx
Copy link
Copy Markdown

Logo
Checkmarx One – Scan Summary & Details6399f78a-0e0d-4ce7-81dd-72b09f33e90c

Great job! No new security vulnerabilities introduced in this pull request


Use @Checkmarx to interact with Checkmarx PR Assistant.
Examples:
@Checkmarx how are you able to help me?
@Checkmarx rescan this PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants